Mathematical logic
SUBFIELD OF MATHEMATICS
Symbolic Logic; Symbolic logic; Mathematical Logic; Logic (mathematics); Logic (math); Logic (maths); Logic (symbolic); Mathematical logician; Logic modeling; Logic modelling; Formal Logic; History of mathematical logic; Subfields of mathematical logic; Formal logical systems; History of symbolic logic; Applications of mathematical logic; 20th century in mathematical logic
Mathematical logic is the study of formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory.